<?php

class C extends DateTime {
    public function getTimezone() {}
}
